//import org.wizehack.mri.SFLocalizer;
//import org.wizehack.mri.fl.SFLAlgorithm;
//import org.wizehack.mri.fl.Tarantula;
//import org.wizehack.mri.test.BasicTestCase;
//import org.wizehack.mri.test.BasicTestSuite;
//import org.wizehack.mri.test.TestCase;
//import org.wizehack.mri.test.TestConfigurator;
//import org.wizehack.mri.test.TestSuite;
//
//
//public class SimpleExampleDemo extends SFLocalizer{
//
//	
//	@Override
//	public void setUp() {
//		String projectName = "GetMidNumber";
//		String srcCodeLocation = "/home/hsyoun/workspace/MRI-Demo/src"; // ~/src/ 이렇게 입력하면 에러
//		int numberOfTestSuite = 1;
//		int[] numberOfTestCase = {6};
//		
//		super.createProject(projectName, srcCodeLocation, numberOfTestSuite, numberOfTestCase);
//	}
//
//	@Override
//	public void registerTestSets() {
//		TestConfigurator tConf = TestConfigurator.getInstance();
//		for(int i=1; i<=tConf.getNumberOfTestSuite(); i++){
//			TestSuite ts = new BasicTestSuite();
//			
//			for(int j=1; j<=tConf.getNumberOfTestCase()[i-1]; j++){
//				TestCase tc = new BasicTestCase();
//				String coverageFIle = "/home/hsyoun/workspace/MRI-Demo/Data/" + j + ".xml";
//				tc.setCoverageLocation(coverageFIle);
//				
//				if(j == 6)
//					tc.setPassed(false);
//				else
//					tc.setPassed(true);
//				
////				System.out.println("test result: " + tc.isPassed());
//				ts.add(tc);		
//			}
//			super.addTestSuite(ts);
//		}
//	}
//	
//
//	/**
//	 * @param args
//	 */
//	public static void main(String[] args) {
//		// TODO Auto-generated method stub
//		SimpleExampleDemo demo = new SimpleExampleDemo();
//		demo.probe();
//		SFLAlgorithm sfl = new Tarantula(); 
//		demo.debug(sfl);
//	}
//
//}
